Asymptotic Improvement of Computations over Free Monads